easy theory regular language